https://garland.cs-manual.com/d-rgm-2424-1.html